Three ways formally verified code can go wrong in practice
buttondown.com·2h
📜Proof Carrying Code
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·15h
🔗Graph Isomorphism
A disenshittification moment from the land of mass storage
doctorow.medium.com·7h
🧲Magnetic Philosophy
The Day I Hacked XCTrack
blog.syrac.org·4h·
Discuss: Hacker News
🔐PKI Archaeology
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com·9h
💎Information Crystallography
Advancing Outlook email archiving & Digital Preservation at your organization
preservica.com·1d
🔄Archival Workflows
I am an SSD expert – here are 5 reasons why choosing a small SSD could cost you later
techradar.com·4h
🛡️Preservation Logic
When AI Remembers Too Much – Persistent Behaviors in Agents’ Memory
unit42.paloaltonetworks.com·21h
🔲Cellular Automata
Zelos Tech Manages Hundreds of Millions of Files for Autonomous Driving with JuiceFS
dev.to·12h·
Discuss: DEV
💾Proxmox Storage
How we built a structured Streamlit Application Framework in Snowflake
about.gitlab.com·19h
🌊Streaming Systems
Evidence Preservation: Why iPhone Data Can Expire
blog.elcomsoft.com·1d
🌡️Preservation Entropy
An enough week
blog.mitrichev.ch·23h·
🧮Z3 Solver
Crafting a Full Exploit RCE from a Crash in Autodesk Revit RFA File Parsing
thezdi.com·2d
🧪Binary Fuzzing
Cactus Language • Semantics 3
inquiryintoinquiry.com·3h
🔢Denotational Semantics
Need to sanity check my backup plan before I implement it
youtube.com·2d·
Discuss: r/homelab
💿Backup Strategies
Proposal: Deconfig – Distributed Git Infrastructure with Durable Objects
github.com·19h·
Discuss: Hacker News
📦Git LFS
Never Ever Use Content Addressable Storage
frederic.vanderessen.com·2d·
Discuss: Hacker News
🗄️Type-safe Archives
Trillion-Scale Goldbach Verification on Consumer Hardware -novel Algorithm [pdf]
zenodo.org·19h·
Discuss: Hacker News
🔢Reed-Solomon Math
Living Off the Cloud: Abusing Cloud Services for Red Teaming | Cyber Codex
infosecwriteups.com·7h
🏠Homelab Federation
Ensuring Safe and Reliable Updates with Qualys TruRisk™ Manifest Version Control
blog.qualys.com·1d
Archive Fixity